CSP and real-time – reality or an illusion?

1.1 Concurrency and complexity Concurrency is one of the most essential properties of the reality as we know it. We can perceive that in every complex system, many activities are taking place simultaneously. Main source of complexity in designed systems stems actually from the simultaneous (concurrent) existence of many objects, events and scenarios. Better control over the concurrency structure should therefore automatically reduce the problem of complexity handling. Thus, a structured way to deal with the concurrency is needed. CSP theory [1, 2] is a convenient tool to introduce a sound and formally verifiable concurrency structure in designed systems. Our SystemCSP[3] graphical notation and design methodology, as well as its predecessor GML[4], is built on top of the CSP programming paradigm. SystemCSP is an attempt to put CSP into practical use for the design and implementation of component based systems.